We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...) prevalent in this research area and their interrelationships are identified, presenting an outline of current efforts. Findings: Despite the descriptive analyses for the paper set, a framework is proposed for organizing the design-implementation factors of PMSs in nonprofit organizations, identifying the main requirements for their successful development. Originality/value: Investigation on performance measurement in nonprofit organizations is still in its early stages of development with many opportunities to further develop the field. Conceptual frameworks and models, as well as specific theories, are being generated for this field of research, and the process of adapting models from the general field of performance measurement is taking place. The meta-framework that organizes the main research topics of PMS in nonprofit organizations and the framework that consolidates factors that influence the design-implementation of PMSs in nonprofit organizations developed represents this paper contribution. (shrink)

Despite its uniform appearance, the cerebellar cortex is highly heterogeneous in terms of structure, genetics and physiology. Purkinje cells (PCs), the principal and sole output neurons of the cerebellar cortex, can be categorized into multiple populations that differentially express molecular markers and display distinctive physiological features. Such features include action potential rate, but also their propensity for synaptic and intrinsic plasticity. However, the precise molecular and genetic factors that correlate with the differential physiological properties of PCs remain elusive. In this (...) article, we provide a detailed overview of the cellular mechanisms that regulate PC activity and plasticity. We further perform a pathway analysis to highlight how molecular characteristics of specific PC populations may influence their physiology and plasticity mechanisms. (shrink)

In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new (...) research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics. (shrink)

Developing an intellectualist account of skill, Stanley and Williamson define skill as a kind of disposition to action-guiding knowledge. The present paper challenges their definition of skill. While we don’t dispute that skill may consist of a cognitive, a dispositional, and an action-guiding component, we argue that Stanley and Williamson’s account of each component is problematic. In the first section, we argue, against Stanley and Williamson, that the cognitive component of skill is not a case of propositional knowledge-wh, which is (...) typically indexical. In the second section, we seek to show that Stanley and Williamson face difficulties in arguing for a generic claim about skill as a kind of disposition, and they fail to defend intellectualism about skill based on the dispositional account. In the third section we argue that Stanley and Williamson need a more detailed account of the action-guiding aspect of skill to avoid several difficulties, including a threat of a regress. We close with some lessons for the debate over intellectualism and anti-intellectualism about skill. (shrink)

In this paper, I plan to show that the use of a specific population concept—Millstein’s Causal Interactionist Population Concept (CIPC)—has interesting and counter-intuitive ramifications for discussions of the reality of biological race in human beings. These peculiar ramifications apply to human beings writ large and to individuals. While this in and of itself may not be problematic, I plan to show that the ramifications that follow from applying Millstein’s CIPC to human beings complicates specific biological racial realist accounts—naïve or otherwise. (...) I conclude with the notion that even if biological races do exist—by fulfilling all of the criteria needed for Millstein’s population concept (which, given particular worries raised by Gannett (Synthese 177:363–385, 2010), and Winther and Kaplan (Theoria 60:54–80, 2013) may not)—the lower-bound limit for the scope of biological racial realism is at the level of populations, and as such they cannot say anything about whether or not individual organisms themselves have races. (shrink)

Tuberculosis (TB) is a potentially fatal infectious disease that, in Aotearoa New Zealand (NZ), inequitably affects Asian, Pacific, Middle Eastern, Latin American, and African (MELAA), and Māori people. Medical research involving genome sequencing of TB samples enables more nuanced understanding of disease strains and their transmission. This could inform highly specific health interventions. However, the collection and management of TB isolate samples for research are currently informed by monocultural biomedical models often lacking key ethical considerations. Drawing on a qualitative kaupapa (...) Māori–consistent study, this paper reports on preliminary discussions with groups of Māori, Pacific, and Afghan people in NZ, whose communities have been harmed by TB and TB stigma. Participants’ discussions highlight key concerns and meanings that ought to inform the development of guidelines and a more robust consultative process for the governance of how TB isolate samples are collected and used both retrospectively and in future research. We argue for ethical processes to be culturally nuanced and community-generated, flexible and meaningful, and situated in relation to the physical and symbolic effects of TB. We discuss the significance of Indigenous data sovereignty, rights, and kāwanatanga (governorship) in shaping a multicultural data sovereignty model. (shrink)

Deception is part of the natural repertoire of adaptive behaviours in many organisms. In humans we see it in all domains of human activity including health care. Within health care, deception can be a matter of concern, but it is also used to protect patients, for instance against overwhelming and negative diagnostics. This paper demonstrates that deception and self‐deception are closely interlinked and that self‐deception facilitates deception. Furthermore, self‐deception tends to be used to reduce the discomfort we feel when we (...) are dishonest (cognitive dissonance). The paper includes references to core psychological mechanisms and ethical aspects. (shrink)

Statistical distributions have great applicability for modeling data in almost every applied sector. Among the available classical distributions, the inverse Weibull distribution has received considerable attention. In the practice of distribution theory, numerous methods have been studied and suggested/introduced to increase the flexibility level of the traditional probability distributions. In this paper, we implement different distribution methods to obtain five new different versions of the inverse Weibull model. The new modifications of the inverse Weibull model are called the logarithm transformed-inverse (...) Weibull, a flexible reduced logarithmic-inverse Weibull, the weighted TX-inverse Weibull, a new generalized-inverse Weibull, and the alpha power transformed extended-inverse Weibull distributions. To illustrate the flexibility and applicability of the new modifications of the inverse Weibull model, a biomedical data set is analyzed. The data set consists of 108 observations and represents the mortality rate of the COVID-19-infected patients. The practical application shows that the new generalized-inverse Weibull is the best modification of the inverse Weibull distribution. (shrink)

The main concern of this paper is to study the dynamic of a predator–prey system with diffusion. It incorporates the Holling-type-II and a modified Leslie–Gower functional responses under Robin boundary conditions. More concretely, we study the dissipativeness of the system by using the comparison principle, and we derive a criteria for permanence and for predator extinction.

This chapter aims to bring to the fore some of the ontological presuppositions that undergird the concepts of race and racism as they are used in public health. Included are discussions of differing accounts for race in public health, the ways in which racism is understood to be a public health issue, and where future research in public health, as it relates to the concepts of race and racism, is headed.

This text explores how human beings construe experience: experience as a resource, as a potential for understanding, representing and acting on reality.

Many contemporary logicians acknowledge a plurality of logical theories and accept that theory choice is in part motivated by logical evidence. However, just as there is no agreement on logical theories, there is also no consensus on what constitutes logical evidence. In this paper, I outline Jean Piaget’s psychological theory of reasoning and show how he used it to diagnose and solve one of the paradoxes of material implication. I assess Piaget’s use of psychology as a source of evidence for (...) logical theory in light of reservations raised by psychologism, and I highlight some ramifications for exceptionalism and anti-exceptionalism about logic by considering his use of psychology as logical evidence in the framework of genetic epistemology, Piaget’s research programme. I conclude that Piaget’s psychological theory of reasoning not only plausibly serves as a source of evidence for logical theory but also makes a strong case for anti-exceptionalism about logic. (shrink)

There is an ongoing discussion concerning personal vs. impersonal considerations in professional care. In this article, three different positions within the ethics of closeness will be discussed. These are: (a) reserving the ethics of closeness for close experienced others, ‘including the experienced Other’, which is Nortvedt's position; (b) trying to bring the distant, non‐experienced others closer, ‘including the Third’; and (c) finally, an examination of whether a perspective of closeness may lead to the exclusion of various groups in need of (...) help, ‘including the Other at the expense of the Third’. These positions are discussed with a view to clarifying some of the challenges that the ethics of closeness faces when it maintains that greater ethical obligation is associated with personal than with impersonal relations, without discussing the terms on which the obligation is based. Key questions that arise for a nurse or other health professional are: If our primary moral responsibility is for those that are close to us, the experienced others, who is to be responsible for those that are outside the established health services, the non‐experienced others? Is it evident that favouring the experienced others is based on legitimate needs? Can a discussion on the legitimate basis of nursing be avoided in questions relating to closeness and priorities? This discussion touches the heart of our discipline. Is a one‐sided perspective of closeness, rejecting moral responsibility for those with whom we have no relationship, a defensible ethical position? (shrink)

First published in 1994. Routledge is an imprint of Taylor & Francis, an informa company.

Jan Narveson has articulated a deeply held, widely shared intuition regarding what moral law has to say about bringing additional people into existence: while we are “in favour of making people happy,” we are “neutral about making happy people.” Various formulations of the Narvesonian intuition (closely related to the _person-affecting intuition_ or _restriction_) have been widely criticized. This present paper outlines an off-the-beaten-path alternate construction of the intuition—the _existence condition_—and argues that that particular construction has the resources to avoid some (...) of those criticisms. But still other considerably more widely recognized alternate constructions have been offered as well. Thus John Broome outlines what he calls the _neutrality intuition_. While Broome finds the underlying intuition “strongly attractive,” he nonetheless argues that the neutrality intuition itself leads us quickly into inconsistency. Wlodek Rabinowicz disagrees. On his view, Broome’s inconsistency argument shows, not that the neutrality intuition is false, but rather that it doesn’t follow, from the fact that the outcome, or possible future or _world_, that includes the additional person is neither better nor worse than the (otherwise similar) world that excludes that person, that the one world is exactly as good as the other. The better view, according to Rabinowicz, is that, on occasion, and specifically when the coming into existence of additional people is at stake, the one world is _incommensurate_ with the other. What is called the _principle of trichotomy_ is, in other words, false. Difficulties arise, however, when we try to reject that seemingly compelling conceptual principle. This present paper concludes with the argument that the availability of the existence condition—which, together with certain other uncontroversial moral principles and a handful of conceptual principles, forms the _existential approach_—shows that we can maintain the most intuitive parts of neutrality intuition while avoiding both Broome’s inconsistency worry and Rabinowicz’s commitment to incommensurability. Incommensurability may be correct on other grounds—but not, this present paper argues, on the grounds provided by Broome’s inconsistency argument. (shrink)

Two major functions of the visual system are discussed and contrasted. One function of vision is the creation of an internal model or percept of the external world. Most research in object perception has concentrated on this aspect of vision. Vision also guides the control of object-directed action. In the latter case, vision directs our actions with respect to the world by transforming visual inputs into appropriate motor outputs. We argue that separate, but interactive, visual systems have evolved for the (...) perception of objects on the one hand and the control of actions directed at those objects on the other. This 'duplex' approach to high-level vision suggests that Marrian or 'reconstructive' approaches and Gibsonian or 'purposive-animate-behaviorist' approaches need not be seen as mutually exclusive, but rather as complementary in their emphases on different aspects of visual function. (shrink)

Das Grab des Königs Ninetjer in Saqqara: Architektonische Entwicklung frühzeitlicher Grabanlagen in Ägypten. By Claudia M. Lacher-Raschdorff. Deutsches Archäologisches Institut Kairo, Archäologische Veröffentlichungen, vol. 125. Wiesbaden: Harrassowitz Verlag, 2014. Pp. 295, 44 pls., plans. €247.

In Chinese scholarship, Xunzi is often regarded as an eclectic Confucian master who accepted some form of utilitarian thoughts (e.g. Fung Yu-lan, Mou Zongsan and Xu Fuguan). This characteristic was also observed by some western scholars such as Benjamin I. Schwartz. In a recent study, I argued that the basic character of Xunzi’s philosophy is utilitarianism in a broad sense based on an examination on his intellectual criticism and political criticism. Xunzi asserts that humans are innately driven by self-interested desires, (...) and he evaluates all intellectual works and political behaviours by their utility. However, he does not limit utility to only basic animal desires such as food and sex. In Xunzi’s view, humans also have innate emotions; hence, these emotions should also be accounted for in their utility. This is similar to John Stuart Mill’s redefinition of Bentham’s concept of utility. Are Xunzi’s and Mill’s concepts of utility exactly the same? This question has yet to be examined. This article is a comparative study between utilitarianism and Xunzi’s philosophy which especially explores the compatibility of these two philosophies. (shrink)